Ideas from 'Outline of a Theory of Truth' by Saul A. Kripke [1975], by Theme Structure
[found in 'Philosophical Troubles: Papers vol. 1' by Kripke,Saul [OUP 2011,978-0-19-973015-5]].
green numbers give full details |
back to texts
|
expand these ideas
3. Truth / F. Semantic Truth / 2. Semantic Truth
|
15327
|
Kripke's semantic theory has actually inspired promising axiomatic theories [Horsten]
|
|
15343
|
Kripke offers a semantic theory of truth (involving models) [Horsten]
|
3. Truth / G. Axiomatic Truth / 1. Axiomatic Truth
|
14967
|
Certain three-valued languages can contain their own truth predicates [Gupta]
|
|
14966
|
The Tarskian move to a metalanguage may not be essential for truth theories [Gupta]
|
3. Truth / G. Axiomatic Truth / 3. KF Truth Axioms
|
16328
|
Kripke classified fixed points, and illuminated their use for clarifications [Halbach]
|